Nuprl Lemma : sq_stable__and 9,38

P,Q:. SqStable(P SqStable(Q SqStable(P  Q
latex


ProofTree


Definitionst  T, P  Q, SqStable(P), P  Q, , x:AB(x), True, T
Lemmassquash wf

origin